Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
601	A Tableau System for Natural Logic and Natural Reasoning Reinhard Muskens Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-24 14:07:30 Semantics Formal languages Computational linguistics Metalogic Algebraic logic Method of analytic tableaux Categorial grammar Simply typed lambda calculus Lambda calculus Logic Mathematical logic Mathematics
602	The Semiotic Web — How to Frame World Wide Knowledge. Concept Technology for the Scientific World View Add to Reading List Source URL: www.seco.tkk.fi Language: English - Date: 2010-09-02 07:00:03 Ethology Systems theory Systems Abstraction Complex systems theory Complex systems Complexity Logic Computational complexity theory Science Knowledge Cybernetics
603	Are there Hard Examples for Frege Systems? Maria Luisa Bonet Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2004-11-24 07:53:45 Propositional calculus Mathematical logic Logic in computer science Frege system Automated theorem proving Computational complexity theory Gottlob Frege Tautology Mathematical proof Mathematics Logic Theoretical computer science
604	On the Unusual Effectiveness of Logic in Computer Science £ Joseph Y. HalpernÝ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-25 19:24:55 Computational complexity theory Descriptive complexity Relational model Complexity classes FO Descriptive complexity theory SO Relational database Relational algebra Theoretical computer science Applied mathematics Finite model theory
605	The science of computing first edition Add to Reading List Source URL: ozark.hendrix.edu Language: English - Date: 2003-12-19 15:54:33 Models of computation Computability theory Digital electronics Computational complexity theory Computability Logic gate Computer Finite-state machine Electronic circuit Theoretical computer science Mathematics Applied mathematics
606	Noun Phrase Accessibility and Universal Grammar Author(s): Edward L. Keenan and Bernard Comrie Source: Linguistic Inquiry, Vol. 8, No. 1 (Winter, 1977), pp[removed] Add to Reading List Source URL: lingo.stanford.edu Language: English - Date: 2010-12-28 13:25:46 Relative clause Syntax Complexity classes Computational complexity theory Oracle machine Low NP Modal logic Transformational grammar Linguistics Theoretical computer science Linguistic typology
607	SIM-DLA : A Novel Semantic Similarity Measure for Description Logics Reducing Inter-Concept to Inter-Instance Similarity Add to Reading List Source URL: ifgi.uni-muenster.de Language: English - Date: 2009-03-12 18:26:56 Science Semantic similarity Artificial intelligence Similarity Description logic Symmetry Semantics Jaccard index Geometry Computational linguistics Statistics
608	Order Computations in Generic Groups by Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2007-05-19 16:49:47 Computational complexity theory Analysis of algorithms Algorithm Mathematical logic Time complexity Pi Big O notation Baby-step giant-step Factorial Theoretical computer science Mathematics Applied mathematics
609	A Life of Language Martin Kay∗ Stanford University Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2005-12-27 13:21:50 Computing Compiler construction Computational linguistics Speech recognition Algorithm Mathematical logic Natural language processing Prolog Formal grammar Science Formal languages Linguistics
610	Evolving a Fuzzy Controller for a Car Racing Competition Diego Perez, Gustavo Recio, Yago Saez, Member, IEEE, Pedro Isasi, Member, IEEE Abstract— Computational intelligence competitions have recently gained a lot of interest. These contests motivate and Add to Reading List Source URL: www.ieee-cig.org Language: English - Date: 2009-09-25 03:00:02 Mathematical logic Science Fuzzy control system Intelligent control Computational intelligence Fuzzy set Membership function Genetic algorithm Type-2 fuzzy sets and systems Artificial intelligence Logic Fuzzy logic

UPDATE